面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用，为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题，提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS，首先获取软件缺陷预测模型数据，对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究，实现知识图谱推荐优质软件缺陷预测模型作为自动化搜索的热启动输入条件，根据不同的软件缺陷预测评价指标，优化不同最佳的模型结构.其次实证研究采用NASA开源数据集实验对象和六种性能评价指标，实验结果表明， AutoKGGAS自动化软件缺陷预测模型在不同数据集不同评价指标方面，性能优于知识图谱推荐的传统经典软件缺陷预测模型.自动化软件缺陷预测模型为航天软件缺陷预测辅助代码审查测试提供了原型，在工程实践应用方面具有重要的意义.     

Crystal orientation and morphology of a lamellae in wrought titanium alloys: On the role of microstructure evolution in b processing

To obtain high-quality aviation forgings of titanium alloys, b forging is an essential processing step which must be considered throughout a production process. In this work, the effect of b forging on the crystal orientation and morphology of lamellar a was experimentally investigated in a two-phase titanium alloy. Strong dynamic recovery during b working resulted in the formation of low-angle grain boundary(LAGBb) inside b grains. The lamellar a can penetrate through the LAGBb, leading to similar intra a LAGBs on subgrain boundaries. Deformation banding occurs at high strain rates, and both diffusive and sharp boundaries of deformation bands can be observed.A continuous change of the b orientation in diffusive boundaries results in the formation of fine and disordered a lamellae without intra-lamellar boundary to hold the Burgers orientation relationship(OR). On sharp boundaries, it is prone to producing continuous grain boundary a(aGB) with a highly similar orientation along the boundaries. Meanwhile, there may exist several lower-angle boundaries within the grain boundary a for a smoother orientation change on the b grain boundary.     

基于HHT的航空直流串行电弧特征提取方法

由于飞机内部布线空间有限、电弧故障存在发生时间地点随机以及特征不明显等问题，导致检测困难。本文基于航空270 V高压直流（HVDC）系统开展直流串行电弧故障特征提取方法研究，采用希尔伯特黄变换（HHT）提取电弧电流交流分量的时域和频域特征量。选择HHT的固有模态函数IMF5瞬时幅值的峰峰值和标准差作为识别电弧故障的时域特征，与原始信号中提取的时域特征量对比，正常和电弧特征量的区分度更大；选择HHT的固有模态函数IMF1+IMF2、一定频带范围内的瞬时幅值计算得到的谐波功率和作为区分正常和电弧情况的频域特征量。与常用的快速傅里叶变换（FFT）方法相比，HHT三维时频谱能够反映信号的局部特征，HHT方法计算得到的正常和电弧特征量之间的区分度更大，电弧和正常特征量的比值最高可达346。基于HHT的电弧故障特征提取方法能够更好地区分正常和电弧情况，有助于提高电弧故障的检测率，降低虚警率，具有重要的工程应用价值。     

虚拟多触角探测的高超声速滑翔飞行器再入机动制导

针对高超声速滑翔飞行器再入过程中面对的多约束问题，提出一种基于虚拟多触角探测的路航点规划机动制导策略。该机动制导策略通过飞行器最大转弯轨迹计算速度-剩余地面距离-航向角约束，在分段定点模式中发出多条粗略预测触角，引用触角末端反馈的信息计算优先级以确定临时路航点；同时在机动制导模式中发出精细探测触角，计算触角末端信息优先级，经倾侧角延时滤波器得出控制指令，对飞行器进行机动制导。基于多触角探测的路航点规划机动制导策略，降低了三触角机动制导方法中的计算时间；同时，4种典型禁飞区条件下的仿真结果表明，该策略能够有效稳定地解决机动制导过程中的多约束问题。     

面向立方星的相对位姿测量视觉传感器设计

针对立方星在轨服务任务中的近距离相对导航问题，提出一种相对位姿测量视觉传感器设计。为应对空间复杂的光照条件，设计一种具有多层结构的立体靶标，选取波长为850nm的LED灯作为立体靶标的光源。在相机镜头处安装850nm的红外窄带滤镜以提高立体靶标成像质量。为提高视觉传感器的测量精度，提出一种迭代直接求解(iterative direct solution, IDS)的相对位姿估计算法。该算法直接利用立体靶标上的非共面点提供的深度信息获得初始相对位姿，然后引入Haralick迭代算法来优化初始测量结果。搭建六自由度实验平台对该视觉传感器进行性能测试。实验结果表明,该视觉传感器能克服背景光的干扰，且提出的 IDS相对位姿估计算法的精度优于经典的P3P算法和EPnP算法。     

面向战略导弹的新一代惯性系统

自主式惯性制导系统是战略导弹"威慑可信、反击可靠"的保障,针对我国已装备的战略导弹惯性系统在高精度、高可靠、实战化等方面存在的不足,系统阐述了位置捷联、位置平台和速率捷联的工作特点和局限性,首次提出了一种可同时满足高精度、全姿态、小型化的新一代惯性系统——速率平台.该惯性系统既具备速率捷联系统小型化、全姿态的特点,又兼顾了位置平台系统隔离角运动的功能.针对战略级惯性系统冗余不足引起的可靠性问题,在速率平台的基础上从智能化的角度提出了具备导航级故障诊断和自主重构的新体制惯性系统,该惯性系统将首次具备了自主导航、自主控制与自主重构的能力.     

基于神经网络的磁平静期赤道电集流预测

利用BP神经网络技术分别对2008年后磁平静期印度扇区、秘鲁扇区以及CHAMP卫星的赤道电集流（EEJ）变化进行预测，其中神经网络训练数据为对应的2000—2007年磁平静期EEJ观测数据，输入参量为天数、地方时、太阳天顶角、太阳活动指数（F_10.7）、太阴时以及卫星地理经度，输出参量为EEJ.对EEJ预测结果进行了统计学分析，并且与实际观测结果进行对比.结果表明:BP神经网络对事件中EEJ的变化具有很好的预测能力，预测结果能够反映EEJ的重要分布特征；EEJ预测值与观测值之间具有很好的相关性，其中地磁台站观测值与预测值相关性系数可达85%以上.此外，将BP神经网络模型的预测结果与Yamazaki提出的经验模型结果进行对比，结果显示BP神经网络与其经验模型性能相当.研究结果表明，BP神经网络技术在平静期EEJ变化预测方面性能优异，具有良好的应用前景.      

基于新型丝状电极等离子体激励器的前体涡控制

本文首次将新型丝状暴露电极DBD等离子激励器应用于大迎角下细长体非对称涡控制。丝状暴露电极的材料的选择对DBD推力以及推力效率至关重要,通过地面精细推力测量对丝状暴露电极等离子体激励器进行了优化,结果表明,本文研究材料中采用钨丝作为暴露电极,其推力效率最优;且随着电极直径从d=0.3 mm减小到d=0.08 mm,DBD推力效率显著提升。基于优化后的DBD激励器,将其应用于前体非对称涡控制:未施加等离子体控制时,压力测量以及PIV结果均表明细长体背风区流场为明显的非对称涡结构;在等离子体激励下,该非对称涡结构可变为对称甚至反向非对称,且非稳态激励控制能力明显优于稳态激励。研究发现,大迎角下细长体非对称涡控制与背风区原始涡系结构有关,其中包含对称涡系和非对称涡系。本文研究为大迎角下细长体非对称涡控制提供了一种新思路,同时也为丝状暴露电极DBD等离子体激励器的应用提供参考。     

水下巡检蛇形机器人移动单元结构设计及计算

随着经济蓬勃发展,水生农作物市场的需求量不断增长,水域水质检测行业显得日益重要,但人工水质水域检测效率低下,为此设计一套可以搭载检测传感器的水质检测蛇形机器人,以提高检测效率、降低检测成本、减轻人工劳动力度。为适应水下环境,该机器人具备小巧、灵活、机动性能好、转弯灵活、对复杂水域适应能力强、可检测不同深度水质的特点,在此针对机器人的移动单元结构设计及强度校核等问题进行分析,可为以后解决此类问题提供一种验证手段。